Sequential logic - PDFSEARCH.IO - Document Search Engine

Sequential logic
Results: 80

#	Item
31	The University of Birmingham School of Computer Science Operational Domain Theory and Topology of Sequential Functional Languages Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-08-28 06:12:06 Mathematics Applied mathematics Denotational semantics Order theory Operational semantics Domain theory Semantics of programming languages Topology Completeness Theoretical computer science Logic in computer science Programming language semantics
32	Semantics of a Sequential Language for Exact Real-Number Computation J. Raymundo Marcial-Romero a,∗,1, Mart´ın H. Escard´o a a University Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2006-11-20 04:57:34 Structure Models of computation Denotational semantics Logic in computer science Power domains Continuous function Complete partial order Scott continuity Function Mathematics Order theory Theoretical computer science
33	Sequential Games and Optimal Strategies ´ and Paulo Oliva By Mart´ın Escardo University of Birmingham, Birmingham B15 2TT, UK Queen Mary University of London, London E1 4NS, UK This article gives an overview of recent Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-10-28 12:00:26 Quantification Functions and mappings Predicate logic Function Universal quantification Continuous function Constructible universe FO Nash equilibrium Mathematics Logic Mathematical analysis
34	Intrusion Systems \| DS160 Series High Performance Request-to-exit Detectors DS160 Series High Performance Requestto-exit Detectors ▶ Door monitor with sounder alert ▶ Sequential Logic Input (SLI) ▶ Internal vertic Add to Reading List Source URL: us.sourcesecurity.com Language: English - Date: 2010-01-08 03:52:39 Burglar alarm Relay Camera lens Access control Door Security Safety Alarms
35	lecture 03 sequential logic Add to Reading List Source URL: www.nand2tetris.org Language: English - Date: 2012-07-24 08:06:06 Sequential logic Electronics Flip-flop Digital electronics Electronic engineering Automata theory
36	Using Message Passing for Distributed Programming: Proof Rules and Disciplines RICHARD D. SCHLICHTING University of Arizona FRED B. SCHNEIDER Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:54:40 Data Communicating sequential processes Concurrent computing Axiom Communications protocol Program logic Computing Process calculi Software
37	The "Hoare Logic" of CSP, and All That LESLIE LAMPORT SRI International and FRED B. SCHNEIDER Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:44:16 Program logic Concurrent computing Hoare logic Logic programming Communicating sequential processes Modal logic KeY Guarded Command Language Well-formed formula Logic Theoretical computer science Mathematics
38	Understanding i. and Using Asynchronous Message Passing (Preliminary Version) Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 11:28:52 Inter-process communication Concurrent computing Logic in computer science Process calculi Actor model Message passing Predicate transformer semantics Communicating sequential processes Assertion Computing Computer programming Theoretical computer science
39	From: AAAI Technical Report SS[removed]Compilation copyright © 2003, AAAI (www.aaai.org). All rights reserved. STCSP: A Representation Model for Sequential Patterns Aomar Osmani Laboratoire LIPN-CNRS UMR7030 99, Avenue Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 06:27:26 Local consistency Function Sequence Subsequence Entailment Spatial–temporal reasoning Elementary mathematics Mathematics Logic
40	Combinational Techniques for Sequential Equivalence Checking Hamid Savoj1 David Berthelot1 Alan Mishchenko2 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2010-03-23 04:39:57 Digital electronics Formal methods Logic in computer science Automata theory Formal equivalence checking Combinational logic Sequential logic Automatic test pattern generation NC Theoretical computer science Electronic engineering Applied mathematics